https://mumble.net/~jar/pubs/secureos/secureos.html